Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places14.di.fc.ul.pt

• Proof theory
• Logic in computer science

Notified Access: Extending Remote Memory Access Programming Models for Producer-Consumer Synchronization Roberto Belli, Torsten Hoefler Dept. of Computer Science, ETH Zurich {bellir,htor}@inf.ethz.ch

Source URL: htor.inf.ethz.ch

• Computing
• Concurrent computing
• Computer programming
• Parallel computing
• Inter-process communication
• Application programming interfaces
• Concurrency
• Message Passing Interface
• Distributed computing architecture
• Synchronization
• SHMEM
• Message queue

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV

The Concurrency Column by Luca Aceto BRICS, Department of Computer Science Aalborg University

Source URL: www.ru.is

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringExam II Solutions

Source URL: nil.csail.mit.edu

• Computing
• Concurrency control
• Transaction processing
• Bitcoin
• Cryptocurrencies
• Optimistic concurrency control
• Kademlia
• Data

37th International Conference on Parallel Processing Exploring Parallel I/O Concurrency with Speculative Prefetching Yong Chen1 Surendra Byna1,2 Xian-He Sun1 Rajeev Thakur2 William Gropp3 Department of Computer Science,

Source URL: sdm.lbl.gov

Microsoft Word - SIGOPS Annual Report 2007.docx

Source URL: www.sigops.org

• Computer science
• Dijkstra Prize
• Distributed computing
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Symposium on Principles of Distributed Computing
• Conference on Embedded Networked Sensor Systems
• Mutual exclusion
• Keith Marzullo
• Lock
• Concurrent computing
• Concurrency control
• Computing

Transparently Parameterizing Synchronization into a Concurrent Distributed Application A Case Study of C++ Design Evolution Douglas C. Schmidt Department of Computer Science

Source URL: www.cs.wustl.edu

• Software engineering
• Reentrant mutex
• Lock
• Spinlock
• Thread
• Mutual exclusion
• Critical section
• POSIX Threads
• Global variable
• Concurrency control
• Computing
• Computer programming

Cooperative Empirical Failure Avoidance for Multithreaded Programs Brandon Lucia and Luis Ceze {blucia0a,luisceze}@cs.washington.edu University of Washington, Department of Computer Science and Engineering http://sampa.c

Source URL: homes.cs.washington.edu

• Software engineering
• Failure
• Materials science
• Reliability engineering
• Software quality
• Survival analysis
• Parallel computing
• Thread
• Design closure
• Design
• Concurrency control
• Electronic engineering

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics